Structured argumentation dynamics

Abstract This paper develops a logical theory that unifies all three standard types of argumentative attack in AI, namely rebutting, undercutting and undermining attacks. We build on default justification logic already represents rebutting attacks, we add Intuitively, does not target inference, as undercutting, or conclusion, but rather attacks an argument’s premise starting point for reasoning. In logic, reasoning starts from set premises, which is then extended by conclusions hold default. argue modeling defeaters the view theories requires changing premises upon receiving new information. To model changes to give dynamic aspect using techniques belief revision. More specifically, modeled with revision operations include contracting is, removing some information it. The novel combination enriches both approaches under uncertainty. By end paper, show important aspects defeasible argumentation our compares favorably structured frameworks.